- литерал резолюции
- літера́л резолю́ції
Русско-украинский политехнический словарь. 2013.
литерал резолюции
Смотреть что такое "литерал резолюции" в других словарях:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
